$\forall$$g$:Mon, $a$, $b$:$\mid$$g$$\mid$. ($a$ =$_{b}$ $b$) = ($b$ =$_{b}$ $a$) $\in$ $\mathbb{B}$